A Context-dependent Service Model Journal title: EAI Endorsed Transactions on Context-aware Systems and Applications Authors: Naseem Ibrahim, Vangular Alagar, Mubarak Mohammmed Subject(s): Computer and Information Science, Data Communication and Networks
Algorithm and Formal Model of Recovering Network Connectivity in Battlefield Surveillance Journal title: EAI Endorsed Transactions on Internet of Things Authors: Nazir Ahmad Zafar , Hamra Afzaal Subject(s): Computer and Information Science, Computer Architecture
Formal Verification of a Secure Model for Building E-Learning Systems Journal title: International Journal of Advanced Computer Science & Applications Authors: Farhan Obisat, Hazim AlRawashdeh Subject(s):
High-level Synthesis Integrated Verification Journal title: Engineering, Technology & Applied Science Research Authors: M. Dossis Subject(s): Engineering, Technological Change, Information Science, Industrial Management, Civil Engineering
Pi-calculus based Bayesian Trust Web Service Composition Journal title: IOSR Journals (IOSR Journal of Computer Engineering) Authors: Bensheng Yun, Yaguan Qian Subject(s):
Role Based Multi-Agent System for E-Learning (MASeL) Journal title: International Journal of Advanced Computer Science & Applications Authors: Mustafa Hameed, Nadeem Akhtar, Malik Missen Subject(s):
A Bio-Inspired Self-configuring Observer/ Controller for Organic Computing Systems Journal title: Journal of Information Systems and Telecommunication Authors: Ali Tarihi, Hassan Haghighi, Fereidoon Shams Aliee Subject(s):
Assertion-Based Formal Verification of CPU-Cache Crossbar of OpenSPARC T1 Processor Journal title: International Journal of Science and Research (IJSR) Authors: Subject(s):
A Review on the Verification Approaches and Tools used to Verify the Correctness of Security Algorithms and Protocols Journal title: International Journal of Advanced Computer Science & Applications Authors: Mohammed Abdulqawi Saleh Al-humaikani, AuthorsLukman Bin Ab Rahim Subject(s):
Timed-Arc Petri-Nets based Agent Communication for Real-Time Multi-Agent Systems Journal title: International Journal of Advanced Computer Science & Applications Authors: Awais Qasim, Sidra Kanwal, Adnan Khalid, Syed Asad Raza Kazmi, Jawad Hassan Subject(s):